Papers / proof theory: development of

proof theory: development of

Subcategories

Papers

Proof Theory

Michael Rathjen, et al. • (2024)

Proof theory is not an esoteric technical subject that was invented tosupport a formalist doctrine in the philosophy of mathematics; rather,it has been developed as an attempt to analyze aspects of ma...

Hilbert, David: program in the foundations of mathematics epsilon calculus logic: linear mathematics: constructive proof theory: development of reasoning: automated semantics: proof-theoretic set theory: constructive and intuitionistic ZF type theory